3

A modified unification procedure

Year:
1984
Language:
english
File:
PDF, 378 KB
english, 1984
5

Deduction-seeking procedures and transitive relations

Year:
1985
Language:
english
File:
PDF, 577 KB
english, 1985
6

Resolution approach to testing compatibility of interacting automata

Year:
1994
Language:
english
File:
PDF, 882 KB
english, 1994
9

International workshop “automata, algorithms, and information technologies”

Year:
2010
Language:
english
File:
PDF, 53 KB
english, 2010
11

Glushkov’s evidence algorithm

Year:
2013
Language:
english
File:
PDF, 104 KB
english, 2013